Supersimple Ω-categorical Groups and Theories
نویسندگان
چکیده
An ω-categorical supersimple group is finite-by-abelian-by-finite, and has finite SU -rank. Every definable subgroup is commensurable with an acl(∅)definable subgroup. Every finitely based regular type in a CM-trivial ω-categorical simple theory is non-orthogonal to a type of SU -rank 1. In particular, a supersimple ω-categorical CM-trivial theory has finite SU -rank.
منابع مشابه
Geometry of forking in simple theories
We investigate the geometry of forking for Urank 2 elements in supersimple ω-categorical theories and prove stable forking and some structural properties for such elements. We extend this analysis to the case of U-rank 3
متن کاملOn many-sorted ω-categorical theories
We prove that every many-sorted ω-categorical theory is completely interpretable in a one-sorted ω-categorical theory. As an application, we give a short proof of the existence of non G–compact ω-categorical theories.
متن کاملGroups in supersimple and pseudofinite theories
We consider groups G interpretable in a supersimple finite rank theory T such that T eq eliminates ∃∞. It is shown that G has a definable soluble radical. If G has rank 2, then if G is pseudofinite it is soluble-by-finite, and partial results are obtained under weaker hypotheses, such as unimodularity of the theory. A classification is obtained when T is pseudofinite and G has a definable and d...
متن کاملOn Ω 1 -categorical but Not Ω-categorical Theories
1 ABSTRACT By generalizing to model theory notions connected with dimension, it is shown that certain theories categorical in uncountable powers have countably many de-numerable isomorphism types which are arranged in an ω + 1 sequence under the ordering of the possibility of elementary imbedding. It is also shown that any countable elementary extension of a denumerable saturated model of a the...
متن کاملCountable imaginary simple unidimensional theories are supersimple
We prove that a countable simple unidimensional theory that eliminates hyperimaginaries is supersimple. This solves a problem of Shelah in the more general context of simple theories under weak assumptions.
متن کامل